Colored Petri Nets to Verify Extended Event-Driven Process Chains

机译：有色petri网验证扩展事件驱动的进程链

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kees Van Hee; Olivia Oanea; Natalia Sidorova;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying the Safety of Aviation Software Based on Extended Colored Petri Net [J] . Zhou Hang, Zhang Canheng, Li Yue, Mathematical Problems in Engineering . 2019,第8期

机译：基于扩展彩色Petri网的航空软件安全性验证
2. Verifying the Safety of Aviation Software Based on Extended Colored Petri Net [J] . Hang Zhou, Canheng Zhang, Yue Li, Mathematical Problems in Engineering: Theory, Methods and Applications . 2019,第1期

机译：基于扩展彩色培养网验证航空软件的安全性
3. A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets [J] . Joao Pascoal Faria, Ana C. R. Paiva International Journal on Software Tools for Technology Transfer . 2016,第3期

机译：基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
4. Colored Petri Nets to Verify Extended Event-Driven Process Chains [C] . Kees van Hee, Olivia Oanea, Natalia Sidorova OTM(On the Move) Confederated International Conference: CoopIS(Cooperative Information Systems), DOA(Distributed Objects and Applications), and ODBASE(Ontologies, DataBases and Applications of SEmantics) 2005 pt.1; 20051031-1104; Agia Napa(CY) . 2005

机译：有色Petri网验证扩展的事件驱动流程链
5. Modeling infrastructure interdependency with extended Petri-Net and Markov Chain analysis for emergency management. [D] . Sultana, Sharmin. 2007

机译：利用扩展的Petri-Net和马尔可夫链分析对基础设施的相互依赖性进行建模，以进行应急管理。
6. A computational approach based on the colored Petri net formalism for studying multiple sclerosis [O] . Simone Pernice, Marzio Pennisi, Greta Romano, 2019

机译：基于有色Petri网形式主义的多发性硬化症研究计算方法
7. Mapping business processes models from Petri nets into event-driven process chains [O] . Zlatkin S., Kaschek R. 2006

机译：将业务流程模型从Petri网映射到事件驱动的流程链
8. Formalization and Verification of Event-Driven Process Chains. [R] . van der Aalst, W. M. P. 1998

机译：事件驱动的流程链的形式化和验证。

Colored Petri Nets to Verify Extended Event-Driven Process Chains

著录项

引文网络

相似文献

相关主题

期刊订阅